Delimited continuation

Results: 42



#Item
21Functional languages / Control flow / Procedural programming languages / Higher-order functions / Cross-platform software / OCaml / Caml / Delimited continuation / Continuation / Software engineering / Computing / Computer programming

Delimited Control in OCaml, Abstractly and Concretely Oleg Kiselyov Monterey, CA, U.S.A. Abstract

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2012-02-29 20:58:06
22Control flow / Functional languages / Continuations / Delimited continuation / OCaml / Caml / International Conference on Functional Programming / ML / Software engineering / Computer programming / Computing

Delimited Control in OCaml, Abstractly and Concretely System Description http://okmij.org/ftp/Computation/Continuations.html FLOPS 2010

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2010-05-04 22:13:58
23Computer programming / Mathematics / Delimited continuation / Continuation-passing style / Function / Mathematical logic / Sheaf / Continuation / Software engineering / Continuations / Control flow

Axiomatizing Higher Level Delimited Continuation Yukiyoshi Kameyama Institute of Information Sciences and Electronics University of Tsukuba Tsukuba, Japan and Japan Science and Technology Agency

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2004-01-11 10:44:54
24Computer programming / Continuations / Programming language semantics / Delimited continuation / C2 / Update / Operational semantics / Defunctionalization / APT / Software engineering / Computing / Control flow

An Operational Foundation for Delimited Continuations Małgorzata Biernacka, Dariusz Biernacki, and Olivier Danvy BRICS ∗ Department of Computer Science University of Aarhus †

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2004-01-11 10:44:19
25Control flow / Continuations / Subroutines / Functional languages / Delimited continuation / Closure / Scope / OCaml / Symbol / Software engineering / Computing / Computer programming

Delimited Dynamic Binding Oleg Kiselyov Chung-chieh Shan FNMOC

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2006-06-26 21:13:23
26Control flow / Concurrent computing / Scripting languages / Continuations / Subroutines / Coroutine / Generator / Delimited continuation / Tcl / Software engineering / Computing / Computer programming

TIP #328: Coroutines _____________________________________________________________________________ TIP: 328 Title: Coroutines Version: $Revision: 1.6 $ Authors: Miguel Sofer <>

Add to Reading List

Source URL: www.tcl.tk

Language: English
27Control flow / Land transport / Delimited continuation / V1 / Call-with-current-continuation / EMC EA/EB / Software engineering / Rail transport / Continuations

Adding Delimited and Composable Control to a Production Programming Environment Matthew Flatt1 Gang Yu

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2015-03-24 18:44:54
28Functional programming / Control flow / Adjoint functors / Continuations / Programming paradigms / Monad / Delimited continuation / Exception handling / Type class / Software engineering / Computing / Computer programming

Towards efficient implementations of effect handlers – Extended Abstract – Steven Keuchel Tom Schrijvers

Add to Reading List

Source URL: ifl2014.github.io

Language: English - Date: 2015-03-04 15:20:42
29Control flow / Continuations / Subroutines / Delimited continuation / Lambda calculus / Functional programming / Call-with-current-continuation / Scheme / Racket / Software engineering / Computing / Computer programming

Delimited Continuations The Bee’s Knees Quasiconf 2012 Andy Wingo

Add to Reading List

Source URL: wingolog.org

Language: English - Date: 2012-08-26 05:24:36
30Control flow / Continuations / Subroutines / Delimited continuation / Lambda calculus / Functional programming / Call-with-current-continuation / Scheme / Racket / Software engineering / Computing / Computer programming

Delimited Continuations The Bee’s Knees Quasiconf 2012 Andy Wingo

Add to Reading List

Source URL: wingolog.org

Language: English - Date: 2012-08-26 05:24:36
UPDATE